搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Electronic Commerce [electronic resource] : Theory and Practice 0 索取号：作者：Matsuo、 Tokuro.、Lee、 Juhnyoung.、Zhang、 Minjie.、Ito、 Takayuki.、Yokoo、 Makoto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		The Economics of Immigration [electronic resource] : Theory and Policy 0 索取号：作者：Van den Berg、 Hendrik.、Bodvarsson、脰rn B.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers 0 索取号：作者：Labarta、 Jes煤s.、Joe、 Kazuki.、Sato、 Toshinori.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms [electronic resource] 0 索取号：作者：Bowen、 Rufus.、Chazottes、 Jean-Ren茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings 0 索取号：作者：Hartmann、 Sven.、Kern-Isberner、 Gabriele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Nonlinear and Optimal Control Theory [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 19鈥⹬ 2004 0 索取号：作者：Agrachev、 Andrei A.、Morse、 A. Stephen.、Sontag、 Eduardo D.、Sussmann、 H茅ctor J.、Utkin、 Vadim I.、Nistri、 Paolo.、Stefani、 Gianna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov媒 Smokovec, Slovakia, January 19-25, 2008. Proceedings 0 索取号：作者：Geffert、 Viliam.、Karhum盲ki、 Juhani.、Bertoni、 Alberto.、Preneel、 Bart.、N谩vrat、 Pavol.、Bielikov谩、 M谩ria.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		From Hyperbolic Systems to Kinetic Theory [electronic resource] : A Personalized Quest 0 索取号：作者：Tartar、 Luc.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Graph Drawing [electronic resource] : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers 0 索取号：作者：Hong、 Seok-Hee.、Nishizeki、 Takao.、Quan、 Wu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] 0 索取号：作者：Kohlenbach、 Ulrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Experimental Robotics [electronic resource] : The 10th International Symposium on Experimental Robotics 0 索取号：作者：Khatib、 Oussama.、Kumar、 Vijay.、Rus、 Daniela.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings 0 索取号：作者：Hudak、 Paul.、Warren、 David S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers 0 索取号：作者：Lumpe、 Markus.、Vanderperren、 Wim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30鈥揝eptember 1, 2006 Revised Selected Papers 0 索取号：作者：Burke、 Edmund K.、Rudov谩、 Hana.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings 0 索取号：作者：Bozta艧、 Serdar.、Lu、 Hsiao-Feng (Francis).、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Advances in Image and Video Technology [electronic resource] : Second Pacific Rim Symposium, PSIVT 2007 Santiago, Chile, December 17-19, 2007 Proceedings 0 索取号：作者：Mery、 Domingo.、Rueda、 Luis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

	Electronic Commerce [electronic resource] : Theory and Practice 0 索取号：作者：Matsuo、 Tokuro.、Lee、 Juhnyoung.、Zhang、 Minjie.、Ito、 Takayuki.、Yokoo、 Makoto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		The Economics of Immigration [electronic resource] : Theory and Policy 0 索取号：作者：Van den Berg、 Hendrik.、Bodvarsson、脰rn B.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers 0 索取号：作者：Labarta、 Jes煤s.、Joe、 Kazuki.、Sato、 Toshinori.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms [electronic resource] 0 索取号：作者：Bowen、 Rufus.、Chazottes、 Jean-Ren茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings 0 索取号：作者：Hartmann、 Sven.、Kern-Isberner、 Gabriele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Nonlinear and Optimal Control Theory [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 19鈥⹬ 2004 0 索取号：作者：Agrachev、 Andrei A.、Morse、 A. Stephen.、Sontag、 Eduardo D.、Sussmann、 H茅ctor J.、Utkin、 Vadim I.、Nistri、 Paolo.、Stefani、 Gianna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov媒 Smokovec, Slovakia, January 19-25, 2008. Proceedings 0 索取号：作者：Geffert、 Viliam.、Karhum盲ki、 Juhani.、Bertoni、 Alberto.、Preneel、 Bart.、N谩vrat、 Pavol.、Bielikov谩、 M谩ria.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		From Hyperbolic Systems to Kinetic Theory [electronic resource] : A Personalized Quest 0 索取号：作者：Tartar、 Luc.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Graph Drawing [electronic resource] : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers 0 索取号：作者：Hong、 Seok-Hee.、Nishizeki、 Takao.、Quan、 Wu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] 0 索取号：作者：Kohlenbach、 Ulrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Experimental Robotics [electronic resource] : The 10th International Symposium on Experimental Robotics 0 索取号：作者：Khatib、 Oussama.、Kumar、 Vijay.、Rus、 Daniela.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings 0 索取号：作者：Hudak、 Paul.、Warren、 David S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers 0 索取号：作者：Lumpe、 Markus.、Vanderperren、 Wim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30鈥揝eptember 1, 2006 Revised Selected Papers 0 索取号：作者：Burke、 Edmund K.、Rudov谩、 Hana.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings 0 索取号：作者：Bozta艧、 Serdar.、Lu、 Hsiao-Feng (Francis).、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Advances in Image and Video Technology [electronic resource] : Second Pacific Rim Symposium, PSIVT 2007 Santiago, Chile, December 17-19, 2007 Proceedings 0 索取号：作者：Mery、 Domingo.、Rueda、 Luis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.